operating system kernel - Allemand Anglais Dictionnaire